fermat's primality test